<?php
class DigDoc_Exception extends Zend_Exception
{}
?>